Retrieves the most recent metadata (stored at the 32-bit user_flash_loc
address)
Gets the list of top level commands (as a string)
Gets the list of all devices supported by the currently running gateware
Returns a hash map from device name to (addr,length)
Reboot the FPGA from the bitstream program at the 32-bit address addr
.
No validation is performed to ensure a program actually exists there
Read memory associated with the gateware device device
We can read offset
words (4 bytes) into a given device in multiples on n
words
The special case of n
= 0 will read all the bytes at that location
Read memory from the onboard flash
offset
and n
are in increments of 4 byte words, just like read_device
Program arbitrary metadata (stored at the 32-bit user_flash_loc
address)
Gets the temperature of the remote device in Celsius
Write bytes to the device named device
Writes data to the onboard flash
offset
are in increments of 4 byte words, just like read_device